Adameit, Manuel and Peters, Kirstin and Nestmann, Uwe (2017). Session Types for Link Failures.

Wilhelm-Weidner, Arno and Bergner, Nadine (2018). Vergleich von Lernstilen und deren Umsetzungsmöglichkeiten im LMS Moodle. Das Elektronische Schulbuch 2017: Fachdidaktische Anforderungen und Ideen treffen auf Lösungsvorschläge der Informatik. LIT Verlag, 25–37.

Wilhelm-Weidner, Arno and Bergner, Nadine (2018). On Supplementing Theoretical Computer Science Courses Using E-Learning. Proceedings of the 18th Koli Calling International Conference on Computing Education Research. ACM, 14:1–14:10.

Wolf, Alexander and Wilhelm-Weidner, Arno and Nestmann, Uwe (2018). A Case Study of Flipped Classroom for Automata Theory in Secondary Education. Proceedings of the 13th Workshop in Primary and Secondary Computing Education. ACM, 23:1–23:6.

Prehn, Tobias and Rotter, Myron (2019). Immediate Observation in Mediated Population Protocols. Proceedings Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics, Amsterdam, The Netherlands, 26th August 2019. Open Publishing Association, 102-113.

Peters, Kirstin and Wagner, Christoph and Nestmann, Uwe (2019). Taming Concurrency for Verification Using Multiparty Session Types. Theoretical Aspects of Computing – ICTAC 2019. Lecture Notes in Computer Science. Springer, Cham, 196-215.

Benjamin Bisping and Uwe Nestmann (2019). Computing Coupled Similarity. Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS2019, 244–261.